%option noyywrap
%{
	#include <set>
	#include <string.h>
	#include <iostream>
	using namespace std;
	int num=0;
	int counter=0;
	set<string>table;
%}
digit ([0-9])+
number {digit}+(\.{digit}+)?(E[+\-]?{digit}+)? 

%%
^[0-9]{9}  { cout<<"201492481";}
'NAME/n'   {cout<<"HSY";}
{number}   {num=atof(yytext)*2+201492481;cout<<num<<endl;counter++;table.insert(yytext);}
. {ECHO;}
%%

int main ()
{
	yylex();
	cout<<"Show up time"<<counter<<" "<<"Repeating time"<<table.size()<<endl;
	return 0;
}

